Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
101	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMayDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-05-01 12:50:57 Android Information flow Type system Apache Ant Java Static single assignment form NME Annotation Software Computing Cross-platform software
102	Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-25 12:01:05 Compiler construction NuSMV Software testing Model checking Static program analysis Abstract interpretation Parsing Software verification Coverity Model checkers Software Computing
103	Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:09:41 Software bugs Data types Source code Procedural programming languages Pointer C Abstract interpretation Static program analysis Buffer overflow Software engineering Computing Computer programming
104	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAugust 2014) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2014-07-31 17:48:59 Embedded Linux Cloud clients Android Apache Ant Application software JAR Software Computing Smartphones
105	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMarchDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-03-04 17:31:33 Smartphones Android Application programming interface Apache Ant Software Computing Embedded Linux
106	www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-19 10:20:55 Software bugs Abstract interpretation Astrée Embedded systems Program analysis Cross-platform software Worst-case execution time TargetLink Static program analysis Computing Software engineering Computer programming
107	ValueAnalyzer for RX ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system f Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Renesas Electronics Embedded system Debugging
108	Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK Roderick Chapman1 and Florian Schanda2 1 2 Add to Reading List Source URL: proteancode.com Language: English - Date: 2014-10-28 11:02:53 Formal methods Logic in computer science Ada programming language Automated theorem proving SPARK Formal verification Isabelle Proof assistant Static program analysis Theoretical computer science Computing Applied mathematics
109	User Manual Frama-C User Manual Release NeonLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:17 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing
110	User Manual Frama-C User Manual Release FluorineLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing